Applying Fondue to Specify a Drink Vending Machine
نویسندگان
چکیده
The purpose of the paper is to present our approach for specifying system behavior during analysis, part of the Fondue software development method. The approach is exemplified on a case study, a Drink Vending Machine (DVM). It is based on Operation Schemas and a Protocol Model. The Protocol Model describes the temporal ordering of the system operations by an UML protocol statemachine. An Operation Schema describes the functionality of a system operation by preand postconditions; they are written in the Object Constraint Language (OCL), with a few amendments and extensions. Our approach offers a middle ground between the informal descriptions of Use Cases and the solution-oriented models of object interaction in UML. We believe that declarative behavioral specification techniques, like the one proposed in this paper, lead to more confidence in the quality of the software because they allow one to reason about system properties.
منابع مشابه
Evaluation of compliance with the self-regulation agreement of the food and drink vending machine sector in primary schools in Madrid, Spain, in 2008.
OBJECTIVES To evaluate compliance with the self-regulation agreement of the food and drink vending machine sector in primary schools in Madrid, Spain. METHODS Cross-sectional study of the prevalence of vending machines in 558 primary schools in 2008. Using the directory of all registered primary schools in Madrid, we identified the presence of machines by telephone interviews and evaluated co...
متن کاملImplementation of Reverse Vending Machine Based on FPGA
Department of Electronics and Communication DAV Institute of Engineering and Technology, Jalandhar, Punjab, India ___________________________________________________________________________________ ABSTRACT: In these modern days, Reverse Vending Machine is very popular to Korea, Japan, England, Britain, Greece and China. Reverse Vending Machine saves time, employee work and also save human’s en...
متن کاملSchool lunch and snacking patterns among high school students: Associations with school food environment and policies
OBJECTIVES This study examined associations between high school students' lunch patterns and vending machine purchases and the school food environment and policies. METHODS A randomly selected sample of 1088 high school students from 20 schools completed surveys about their lunch practices and vending machine purchases. School food policies were assessed by principal and food director surveys...
متن کاملTaxing soft drinks and restricting access to vending machines to curb child obesity.
One of the largest drivers of the current obesity epidemic is thought to be excessive consumption of sugar-sweetened beverages. Some have proposed vending machine restrictions and taxing soft drinks to curb children's consumption of soft drinks; to a large extent, these policies have not been evaluated empirically. We examine these policies using two nationally representative data sets and find...
متن کاملPolicy outcomes of applying different nutrient profiling systems in recreational sports settings: the case for national harmonization in Canada.
OBJECTIVE To assess agreement among three nutrient profiling systems used to evaluate the healthfulness of vending machine products in recreation and sport settings in three Canadian provinces. We also assessed whether the nutritional profile of vending machine items in recreation and sport facilities that were adhering to nutrition guidelines (implementers) was superior to that of facilities t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 102 شماره
صفحات -
تاریخ انتشار 2004